Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
241	Making Thoughts Explicit: advantages and limitations of formal expression Francis HEYLIGHEN* ABSTRACT. Testing the validity of knowledge requires formal expression of that knowledge. Formality of an Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:38 Logical syntax Semantics Philosophical logic Philosophy of language Expression Regular expression Meaning Fuzzy logic Formal proof Logic Formal languages Mathematics
242	Metrics Frama-C’s metrics plug-in Sodium[removed]Richard Bonichon & Boris Yakobowski Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:41 Software Frama-C Cyclomatic complexity Software quality Abstract syntax tree Function point Software metrics Software engineering Computer programming
243	Erlang in the Corelatus MTP2 Signalling Gateway ¨ Matthias Lang: Corelatus AB [removed] September 2001 Add to Reading List Source URL: www.erlang.se Language: English - Date: 2001-09-18 05:38:50 Erlang Inter-process communication Abstract Syntax Notation One Erlang programming language Representational state transfer Common Object Request Broker Architecture XML Transmission Control Protocol Computing Software engineering Ericsson
244	Microsoft Word[removed]TutorialSchedule-V2.doc Add to Reading List Source URL: ieee802.org Language: English - Date: 2010-10-15 18:45:02 Data Computing Information Abstract Syntax Notation One IEEE 802.15 Institute of Electrical and Electronics Engineers Communications protocol ITU-T Working groups IEEE 802 Standards organizations
245	IBM Research / Linux Technology Center Implementing GSER and Component Matching Sang Seok Lim IBM Research Add to Reading List Source URL: www.openldap.org Language: English - Date: 2014-09-29 17:45:14 Software Internet protocols Lightweight Directory Access Protocol Abstract Syntax Notation One Public-key cryptography OpenLDAP X.509 Attribute grammar Parsing Computing Directory services Compiler construction
246	The XML Enabled Directory (XED) Implementation Considerations Steven Legg eB2Bcom [removed] Add to Reading List Source URL: www.openldap.org Language: English - Date: 2014-09-29 17:45:14 Web standards Internet protocols Markup languages XML Enabled Directory Abstract Syntax Notation One Lightweight Directory Access Protocol XML Certification Program Generic String Encoding Rules Computing XML OSI protocols
247	Tableaux for Verification of Data-Centric Processes Andreas Bauer, Peter Baumgartner, Martin Diller and Michael Norrish NICTA? and Australian National University, Canberra, Australia Abstract. Current approaches to analy Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-06-19 01:47:13 Model theory Formal languages Metalogic Linear temporal logic Temporal logic Logical syntax Interpretation First-order logic Symbol Logic Mathematical logic Mathematics
248	The Simple Times TM T HE Q UARTERLY N EWSLETTER OF SNMP T ECHNOLOGY, C OMMENT, AND E VENTS V OLUME 7, N UMBER 1 Add to Reading List Source URL: www.simple-times.org Language: English - Date: 1999-04-08 15:19:00 System software Simple Network Management Protocol Basic Encoding Rules Abstract Syntax Notation One Network Management Application Net-SNMP Management information base Network management Computing Information technology management
249	Last Time on HOL ➜ Defining HOL ➜ Higher Order Abstract Syntax COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Computability theory Logic in computer science Mathematical logic Rewriting Confluence Lambda calculus Divergence Normal form Theoretical computer science Programming language theory Computer science
250	Network Working Group Request for Comments: 1285 J. Case SNMP Research, Incorporated January 1992 Add to Reading List Source URL: www.rfc-editor.org Language: English - Date: 2002-03-27 15:07:56 Management information base Simple Network Management Protocol Fiber Distributed Data Interface Object identifier Abstract Syntax Notation One C++ classes Basic Encoding Rules IEEE 802.1 SQL Computing Network management Information technology management

UPDATE